Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ derive ] Support printing derived gens with Idris representation #190

Merged
merged 1 commit into from
Aug 31, 2024
Merged

[ derive ] Support printing derived gens with Idris representation #190

merged 1 commit into from
Aug 31, 2024

Conversation

buzden
Copy link
Owner

@buzden buzden commented Aug 31, 2024

No description provided.

@buzden buzden added code: enhancement New feature or improvement part: derivation Related to automated derivation of generators derive: infrastructure Issue around derivation, but not directly in derive: entry Issue on the derivation function facing to the end-user and removed derive: infrastructure Issue around derivation, but not directly in labels Aug 31, 2024
@buzden buzden force-pushed the print-derivator-in-idris-too branch from 052a0c6 to ab6c262 Compare August 31, 2024 11:01
@buzden buzden merged commit e60d370 into master Aug 31, 2024
62 checks passed
@buzden buzden deleted the print-derivator-in-idris-too branch August 31, 2024 12:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
code: enhancement New feature or improvement derive: entry Issue on the derivation function facing to the end-user part: derivation Related to automated derivation of generators
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@buzden